ON THE CATEGORIES OF COMPLETE HEYTING ALGEBRAS AND TOPOLOGICAL SPACES
نویسندگان
چکیده
منابع مشابه
A new characterization of complete Heyting and co-Heyting algebras
We give a new order-theoretic characterization of a complete Heyting and co-Heyting algebra C. This result provides an unexpected relationship with the field of Nash equilibria, being based on the so-called Veinott ordering relation on subcomplete sublattices of C, which is crucially used in Topkis’ theorem for studying the order-theoretic stucture of Nash equilibria of supermodular games. Intr...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملthe structure of lie derivations on c*-algebras
نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.
15 صفحه اولOn ∗-autonomous categories of topological vector spaces
We show that there are two (isomorphic) full subcategories of the category of locally convex topological vector spaces—the weakly topologized spaces and those with the Mackey topology—that form ∗-autonomous categories. RÉSUMÉ. On montre qu’il y a deux sous-catégories (isomorphes) pleines de la catégorie des espaces vectoriels topologiques localement convexes—les espaces munis de la topologie fa...
متن کاملThe Categories of Textures and Topological Spaces
Abstract In this study, mainly, we introduce the category Tex of textures and texturally continuous functions. Relations with some other categories, particulary dfTex, fTex, are pointed out. It is shown that the categories CTop of C-spaces and a full subcategory of Sober of sober spaces are, respectively, isomorphic to Tex and STex of simple textures. Some properties discussed including the exi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
سال: 1981
ISSN: 0373-6385
DOI: 10.2206/kyushumfs.35.325